Interleaving set temporal logic

Interleaving Set Temporal Logic

A new temporal logic and interpretation are suggested which have features from linear tem-porallogic, branching time temporal logic, and partial order temporal logic. The new logic can describe properties essential to the specification and correctness proofs of distributed algorithms such as those for global snapshots. It is also appropriate for the justification of proof rules and ascribing te...

Interleaving Temporal Planning and Execution : IXTET-EXEC

Execution control of plans is a very active domain of research, but remains a major challenge when performed on board real autonomous systems such as robots or satellites. In such a context, where execution concurrency, resources contention and environment dynamic characterize the domain, the use of a temporal planner and a temporal execution control system is desirable. This paper presents IXT...

Interleaving Universal Principles and Relational Constraints over Typed Feature Logic

We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture supports a modular encoding of linguistic theories and allows for a compact representation using underspecification. The system is fully implemented and has been used as a workbench to develop and test large HPSG grammars. ...

Interleaving Belief Updating and Reasoning in Abductive Logic Programming

Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if an update occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the update is taken into account, with an obvious wast...

Temporal Logic